Sự thành thạo thực sự trong Rust bắt đầu từ DRY (Không lặp lại một thứ gì đó) nguyên tắc. Trước khi chúng ta tìm kiếm cú pháp tổng quát, chúng ta phải đi qua con đường của Trừu tượng cụ thể. Hãy tưởng tượng một ứng dụng bán lẻ so sánh giá cả (i32) và nhiệt độ cảm biến (f32); việc sao chép đoạn mã so sánh sẽ tạo ra nợ kỹ thuật ở nơi các lỗi phát triển mạnh trong bóng tối của sự trùng lặp.
1. Quy trình tái cấu trúc
Để chuyển từ sự trùng lặp sang sự tinh tế, hãy tuân theo quy trình ba bước trích xuất: Xác định logic bị lặp lại, Trích xuất logic đó vào thân hàm với đầu vào/đầu ra rõ ràng, và Cập nhật các điểm gọi ban đầu để sử dụng hàm mới.
2. Giới hạn của logic cụ thể
Mặc dù Bảng liệt kê 10-3 thành công trong việc trừu tượng hóa logic, nhưng vẫn bị ràng buộc bởi Kiểu dữ liệu cụ thể. Nó giải quyết vấn đề trùng lặp logic nhưng khiến chúng ta dễ bị tổn thương trước Sự trùng lặp kiểu dữ liệu. Rào cản này là động lực thúc đẩy Kiểu trừu tượng ($